لطفا کمی صبر نمایید ...
ورود
Advanced Search
Thesis
مقالات فارسی
ISI
کنفرانسها
ژورنالها
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Login / Register
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Thesis
Dark Mode
استعلام پایان نامه
جستجوی مقالات داخلی
Catehory
Conference Papers
Journal Papers
Books
Plans
Research documents
Rports
Result Type:
Full Text
Has Word File
Search regardless of the position of the words
Limit article publication year to:
All years
Specific years:
Search
Show
All Information
Only Paper Title
Item Per Page
10
20
Sort By
Paper title
Year
Indexing
ABS
DESC
فیلتر نتایج
Seyed Mahdi Sajjadi
Saeid Jalili
Conference Paper
وارسی ویژگی های زمانی پروتکل های امنیتی با رویکرد منطق زمانی PS-LTL
Authors:
سعید جلیلی
،
سیدمهدی سجادی
Year 1386
Publish place:
03rd International Conference on Information and Knowledge Technology
Pages:
8
| Language: Persian
View And Download
Conference Paper
کشف سناریوهای نفوذ به شبکه های کامپیوتری با استفاده از بررسی کننده مدل SPIN
Authors:
مهدی آبادی
،
سعید جلیلی
Year 1384
Publish place:
3rd Iranian Security Community Conference
Pages:
12
| Language: Persian
View And Download